Decl == a:Id fp Type 

latex

---

clarification:

s-decl{i:l} == a:Id fp Type{i} 

latex

Definitions	a:A fp B(a), Id, Type
FDL editor aliases	s-decl